1. Modeling and verification using UML statecharts :a working guide to reactive system design, runtime monitoring, and execution-based model checking
پدیدآورنده : Drusinsky, Doron.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : ، UML )Computer science(,، Formal methods )Computer science(,Development ، Computer software
رده :
QA
76
.
76
.
D47
D78
2. Practical UML statecharts in C/C++event-driven programming for embedded systems
پدیدآورنده : Samek, Miro.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، System design,Development ، Computer software,، Formal methods )Computer science(,، Statecharts )Computer science(,، UML )Computer science(,، Object-oriented programming )Computer science(
رده :
QA
76
.
9
.
S88
S26
2009